id.\*:("3-540-63166-6")
Results 1 to 1 of 1
Selection :
CAV '97 : computer aided verification (Haifa, June 22-25, 1997)Grumberg, Orna.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63166-6, XI, 486 p, isbn 3-540-63166-6Conference Proceedings